Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 433 | 433 | 1408 | 4604 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.25 | 10.63 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.341 | 6.559 | 26.957 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 670 | 670 | 1284 | 5533 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.92 | 8.26 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.363 | 7.007 | 18.241 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 566 | 566 | 1227 | 4259 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.17 | 7.52 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.108 | 6.899 | 16.061 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 472 | 472 | 1198 | 3310 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.54 | 7.01 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.308 | 7.023 | 17.602 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 449 | 449 | 1196 | 2380 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.66 | 5.30 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.308 | 6.577 | 17.902 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 419 | 419 | 1236 | 2468 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.95 | 5.89 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.949 | 6.539 | 19.027 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 353 | 353 | 1314 | 3550 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.72 | 10.06 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.986 | 6.642 | 23.428 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 433 | 433 | 1407 | 4605 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.25 | 10.64 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.589 | 6.682 | 27.508 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 522 | 522 | 1515 | 5953 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.90 | 11.40 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.037 | 6.868 | 30.803 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 779 | 779 | 1353 | 7110 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.74 | 9.13 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.348 | 7.572 | 20.893 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 664 | 664 | 1287 | 5791 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.94 | 8.72 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.368 | 7.496 | 18.363 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 564 | 564 | 1251 | 4802 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.22 | 8.51 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.858 | 7.475 | 19.204 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 547 | 547 | 1241 | 4453 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.27 | 8.14 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.877 | 6.671 | 17.706 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 536 | 536 | 1269 | 4719 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.37 | 8.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.234 | 6.691 | 20.898 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 493 | 493 | 1319 | 4433 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.68 | 8.99 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.378 | 6.742 | 22.237 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 434 | 434 | 1409 | 4874 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.25 | 11.23 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.396 | 6.867 | 26.956 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 522 | 522 | 1517 | 5955 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.91 | 11.41 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.004 | 6.994 | 30.972 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 622 | 622 | 1640 | 7347 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.64 | 11.81 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.834 | 7.131 | 37.176 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 418 | 418 | 458 | 3179 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.10 | 7.61 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.021 | 12.687 | 21.444 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 479 | 479 | 1175 | 2525 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.45 | 5.27 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.223 | 21.256 | 15.454 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 427 | 427 | 402 | 981 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.94 | 2.30 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.210 | 7.041 | 11.545 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 228 | 228 | 144 | 181 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.63 | 0.79 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.323 | 2.258 | 14.268 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 230 | 230 | 299 | 771 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.30 | 3.35 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.364 | 9.684 | 15.736 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 290 | 290 | 416 | 1844 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.43 | 6.36 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.632 | 12.138 | 19.463 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 363 | 363 | 1319 | 3290 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.63 | 9.06 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.197 | 6.591 | 22.404 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 500 | 500 | 1234 | 3562 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.47 | 7.12 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.423 | 6.832 | 16.509 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 416 | 416 | 1012 | 1819 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.43 | 4.37 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.721 | 16.322 | 12.144 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 284 | 284 | 1223 | 1533 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 4.31 | 5.40 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.569 | 6.666 | 13.703 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 305 | 305 | 1281 | 1978 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 4.20 | 6.49 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.685 | 6.657 | 18.714 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 393 | 393 | 1357 | 3846 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.45 | 9.79 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.042 | 6.775 | 22.205 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 674 | 674 | 1396 | 10417 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.07 | 15.46 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.388 | 7.188 | 18.246 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F(-1) | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 545 | 545 | 1342 | 6574 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.46 | 12.06 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.563 | 6.947 | 16.556 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 391 | 391 | 1335 | 4743 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.41 | 12.13 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.995 | 6.907 | 14.549 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 429 | 429 | 1384 | 5455 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.23 | 12.72 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.094 | 6.616 | 18.115 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 456 | 456 | 1431 | 6516 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.14 | 14.29 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.262 | 6.758 | 20.066 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 567 | 567 | 1499 | 8901 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.64 | 15.70 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.415 | 7.056 | 24.345 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 419 | 419 | 225 | 835 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.54 | 1.99 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.947 | 0.802 | 14.515 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 117 | 117 | 131 | 146 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.12 | 1.25 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.092 | 0.088 | 11.976 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 110 | 110 | 171 | 112 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.55 | 1.02 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.097 | 0.648 | 12.300 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 226 | 226 | 212 | 659 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.94 | 2.92 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.297 | 1.410 | 17.055 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 72 | 72 | 0 | 475 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 6.60 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.098 | 0.000 | 11.352 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 70 | 70 | 0 | 462 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 6.60 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.111 | 0.000 | 9.832 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 93 | 93 | 0 | 474 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 5.10 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.234 | 0.000 | 11.336 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 95 | 95 | 0 | 316 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 3.33 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.225 | 0.000 | 12.191 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 72 | 72 | 0 | 477 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 6.62 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.101 | 0.000 | 12.358 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 74 | 74 | 0 | 485 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 6.55 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.109 | 0.000 | 11.587 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 98 | 98 | 0 | 313 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 3.19 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.234 | 0.000 | 12.997 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | F | B | F | F | F | F | F(-1) |
verified |
N/A | Yes | N/A | Yes | TBD | TBD | TBD | TBD | TBD |
size | 96 | 96 | 0 | 331 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.00 | 3.45 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.220 | 0.000 | 12.615 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 33 | 33 | 35 | 33 | 35 | 35 | 32 | 35 | 35 |
N.S. |
1 | 1.00 | 1.06 | 1.00 | 1.06 | 1.06 | 0.97 | 1.06 | 1.06 |
time (sec) |
N/A | 0.089 | 16.143 | 0.866 | 3.954 | 0.302 | 123.044 | 1.010 | 2.727 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 595 | 595 | 319 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.54 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.143 | 4.729 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 406 | 406 | 263 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.65 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.139 | 1.794 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 287 | 287 | 211 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.74 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.827 | 1.084 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 196 | 196 | 162 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.83 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.397 | 0.541 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | F | F | F | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | No | N/A | TBD | TBD | TBD | TBD | TBD |
size | 286 | 286 | 10482 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 36.65 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.477 | 30.990 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 35 | 35 | 37 | 33 | 35 | 54 | 34 | 35 | 35 |
N.S. |
1 | 1.00 | 1.06 | 0.94 | 1.00 | 1.54 | 0.97 | 1.00 | 1.00 |
time (sec) |
N/A | 0.544 | 79.327 | 0.786 | 2.595 | 0.300 | 147.502 | 16.257 | 4.403 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 35 | 35 | 37 | 33 | 35 | 35 | 34 | 35 | 35 |
N.S. |
1 | 1.00 | 1.06 | 0.94 | 1.00 | 1.00 | 0.97 | 1.00 | 1.00 |
time (sec) |
N/A | 0.123 | 28.846 | 0.798 | 2.591 | 0.272 | 7.322 | 0.956 | 2.716 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 35 | 35 | 37 | 33 | 35 | 35 | 34 | 35 | 35 |
N.S. |
1 | 1.00 | 1.06 | 0.94 | 1.00 | 1.00 | 0.97 | 1.00 | 1.00 |
time (sec) |
N/A | 0.126 | 34.238 | 0.923 | 2.418 | 0.276 | 3.757 | 0.736 | 4.305 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 35 | 35 | 37 | 33 | 35 | 63 | 34 | 35 | 35 |
N.S. |
1 | 1.00 | 1.06 | 0.94 | 1.00 | 1.80 | 0.97 | 1.00 | 1.00 |
time (sec) |
N/A | 0.526 | 32.201 | 0.896 | 2.590 | 0.283 | 9.252 | 1.288 | 6.389 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 172 | 172 | 292 | 634 | 0 | 219 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.70 | 3.69 | 0.00 | 1.27 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.250 | 1.726 | 37.108 | 0.000 | 0.099 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 135 | 135 | 225 | 399 | 0 | 188 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.67 | 2.96 | 0.00 | 1.39 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.212 | 1.103 | 34.895 | 0.000 | 0.098 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 106 | 106 | 157 | 242 | 0 | 141 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.48 | 2.28 | 0.00 | 1.33 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.195 | 1.394 | 7.657 | 0.000 | 0.093 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 110 | 110 | 148 | 321 | 0 | 142 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.35 | 2.92 | 0.00 | 1.29 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.192 | 1.498 | 8.608 | 0.000 | 0.091 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 141 | 141 | 148 | 355 | 0 | 169 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.05 | 2.52 | 0.00 | 1.20 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.212 | 1.600 | 10.193 | 0.000 | 0.102 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 172 | 172 | 182 | 383 | 0 | 187 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.06 | 2.23 | 0.00 | 1.09 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.249 | 2.161 | 11.717 | 0.000 | 0.102 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 199 | 199 | 299 | 714 | 0 | 239 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.50 | 3.59 | 0.00 | 1.20 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.389 | 2.555 | 63.487 | 0.000 | 0.099 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 160 | 160 | 188 | 513 | 0 | 202 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.18 | 3.21 | 0.00 | 1.26 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.346 | 2.299 | 60.966 | 0.000 | 0.100 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 160 | 160 | 152 | 244 | 0 | 166 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.95 | 1.52 | 0.00 | 1.04 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.367 | 2.329 | 9.708 | 0.000 | 0.097 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 166 | 166 | 153 | 357 | 0 | 187 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.92 | 2.15 | 0.00 | 1.13 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.359 | 2.573 | 11.113 | 0.000 | 0.097 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 201 | 201 | 193 | 385 | 0 | 211 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.96 | 1.92 | 0.00 | 1.05 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.377 | 2.769 | 12.975 | 0.000 | 0.102 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 244 | 244 | 435 | 902 | 0 | 263 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.78 | 3.70 | 0.00 | 1.08 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.543 | 3.523 | 179.701 | 0.000 | 0.100 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 211 | 211 | 268 | 916 | 0 | 243 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.27 | 4.34 | 0.00 | 1.15 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.547 | 3.446 | 181.489 | 0.000 | 0.106 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 199 | 199 | 202 | 654 | 0 | 215 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.02 | 3.29 | 0.00 | 1.08 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.501 | 2.573 | 187.012 | 0.000 | 0.097 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 211 | 211 | 207 | 337 | 0 | 197 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.98 | 1.60 | 0.00 | 0.93 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.543 | 2.136 | 11.495 | 0.000 | 0.095 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 211 | 211 | 194 | 385 | 0 | 211 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.92 | 1.82 | 0.00 | 1.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.537 | 3.222 | 13.997 | 0.000 | 0.096 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 244 | 244 | 196 | 413 | 0 | 231 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.80 | 1.69 | 0.00 | 0.95 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.609 | 3.131 | 16.787 | 0.000 | 0.103 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 193 | 193 | 409 | 466 | 0 | 308 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.12 | 2.41 | 0.00 | 1.60 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.316 | 6.693 | 8.747 | 0.000 | 0.102 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 159 | 159 | 400 | 319 | 0 | 250 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.52 | 2.01 | 0.00 | 1.57 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.291 | 4.202 | 4.785 | 0.000 | 0.098 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 123 | 123 | 200 | 243 | 0 | 241 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.63 | 1.98 | 0.00 | 1.96 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.267 | 2.072 | 3.641 | 0.000 | 0.091 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 125 | 125 | 422 | 244 | 0 | 237 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.38 | 1.95 | 0.00 | 1.90 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.343 | 2.941 | 4.711 | 0.000 | 0.094 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 163 | 163 | 444 | 262 | 0 | 261 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.72 | 1.61 | 0.00 | 1.60 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.463 | 4.739 | 5.448 | 0.000 | 0.099 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 196 | 196 | 518 | 281 | 0 | 278 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.64 | 1.43 | 0.00 | 1.42 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.454 | 3.631 | 5.897 | 0.000 | 0.107 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 208 | 208 | 303 | 494 | 0 | 367 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.46 | 2.38 | 0.00 | 1.76 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.514 | 2.801 | 5.185 | 0.000 | 0.099 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 161 | 161 | 256 | 350 | 0 | 326 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.59 | 2.17 | 0.00 | 2.02 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.412 | 2.164 | 4.714 | 0.000 | 0.096 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 168 | 168 | 256 | 350 | 0 | 324 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.52 | 2.08 | 0.00 | 1.93 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.416 | 2.334 | 5.218 | 0.000 | 0.096 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 176 | 176 | 475 | 421 | 0 | 362 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.70 | 2.39 | 0.00 | 2.06 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.434 | 5.476 | 5.667 | 0.000 | 0.102 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 206 | 206 | 525 | 435 | 0 | 376 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.55 | 2.11 | 0.00 | 1.83 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.470 | 6.761 | 6.122 | 0.000 | 0.106 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F(-1) | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 261 | 261 | 358 | 685 | 0 | 481 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.37 | 2.62 | 0.00 | 1.84 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.686 | 4.353 | 6.000 | 0.000 | 0.107 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 222 | 222 | 793 | 451 | 0 | 476 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.57 | 2.03 | 0.00 | 2.14 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.662 | 7.606 | 5.521 | 0.000 | 0.101 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 216 | 216 | 792 | 451 | 0 | 472 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.67 | 2.09 | 0.00 | 2.19 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.606 | 7.497 | 5.766 | 0.000 | 0.103 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 222 | 222 | 793 | 451 | 0 | 474 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.57 | 2.03 | 0.00 | 2.14 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.634 | 7.979 | 6.267 | 0.000 | 0.105 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 228 | 228 | 817 | 451 | 0 | 478 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 3.58 | 1.98 | 0.00 | 2.10 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.652 | 8.447 | 6.152 | 0.000 | 0.117 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | A | F | C | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 259 | 259 | 589 | 465 | 0 | 489 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 2.27 | 1.80 | 0.00 | 1.89 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.689 | 5.182 | 6.607 | 0.000 | 0.123 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 220 | 220 | 124 | 121 | 659 | 121 | 0 | 0 | 479 |
N.S. |
1 | 1.00 | 0.56 | 0.55 | 3.00 | 0.55 | 0.00 | 0.00 | 2.18 |
time (sec) |
N/A | 0.556 | 0.373 | 9.799 | 0.368 | 0.257 | 0.000 | 0.000 | 6.195 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 175 | 175 | 102 | 101 | 568 | 104 | 0 | 0 | 441 |
N.S. |
1 | 1.00 | 0.58 | 0.58 | 3.25 | 0.59 | 0.00 | 0.00 | 2.52 |
time (sec) |
N/A | 0.471 | 0.299 | 9.616 | 0.374 | 0.255 | 0.000 | 0.000 | 4.824 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 130 | 130 | 78 | 84 | 475 | 86 | 0 | 0 | 196 |
N.S. |
1 | 1.00 | 0.60 | 0.65 | 3.65 | 0.66 | 0.00 | 0.00 | 1.51 |
time (sec) |
N/A | 0.410 | 0.193 | 9.730 | 0.352 | 0.277 | 0.000 | 0.000 | 2.824 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F(-1) | B |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 85 | 85 | 57 | 60 | 380 | 65 | 0 | 0 | 114 |
N.S. |
1 | 1.00 | 0.67 | 0.71 | 4.47 | 0.76 | 0.00 | 0.00 | 1.34 |
time (sec) |
N/A | 0.331 | 0.116 | 9.581 | 0.352 | 0.280 | 0.000 | 0.000 | 1.165 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 96 | 96 | 86 | 120 | 906 | 91 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.90 | 1.25 | 9.44 | 0.95 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.336 | 0.124 | 9.934 | 0.470 | 0.300 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F | F(-1) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 98 | 98 | 103 | 147 | 939 | 97 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.05 | 1.50 | 9.58 | 0.99 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.327 | 0.148 | 22.685 | 0.485 | 0.298 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 151 | 151 | 120 | 206 | 1851 | 127 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.79 | 1.36 | 12.26 | 0.84 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.388 | 0.269 | 20.259 | 0.546 | 0.304 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | A | B | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 196 | 196 | 138 | 274 | 2981 | 146 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.70 | 1.40 | 15.21 | 0.74 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.485 | 0.467 | 20.121 | 0.677 | 0.307 | 0.000 | 0.000 | 0.000 |